Search results for "Model-based design"

showing 6 items of 6 documents

Model-based design of RNA hybridization networks implemented in living cells

2017

[EN] Synthetic gene circuits allow the behavior of living cells to be reprogrammed, and non-coding small RNAs (sRNAs) are increasingly being used as programmable regulators of gene expression. However, sRNAs (natural or synthetic) are generally used to regulate single target genes, while complex dynamic behaviors would require networks of sRNAs regulating each other. Here, we report a strategy for implementing such networks that exploits hybridization reactions carried out exclusively by multifaceted sRNAs that are both targets of and triggers for other sRNAs. These networks are ultimately coupled to the control of gene expression. We relied on a thermo-dynamic model of the different stable…

0301 basic medicineGeneticsNetwork architectureModels GeneticQHGene regulatory networkRNAGene ExpressionNucleic Acid HybridizationBiology03 medical and health sciencesNucleic acid thermodynamics030104 developmental biologyGene expressionModel-based designGeneticsEscherichia coliRNAThermodynamicsGene Regulatory NetworksSingle-Cell AnalysisSynthetic Biology and BioengineeringGeneQH426Function (biology)
researchProduct

Analysis and Visualization of Product Memory Layout in IP-XACT

2017

Modern ASIC and FPGA based embedded products use model based design, in which both hardware and software are developed in parallel. Previously HW was completed first and the information handed over to SW team, typically in the form of register tables. The information was even manually copied to SW code, making any changes error-prone and laborious. IP-XACT is the most feasible standard to model HW also for the SW needs. The HW design connectivity and overall memory layout may change due to component instantiations, configurations and conditional operation states, which makes it difficult to create register tables even for documentation. Current register design tools fall short in serving th…

Computer sciencecomputer.internet_protocolbusiness.industryProgramming languagecomputer.software_genreMemory mapVisualizationApplication-specific integrated circuitIP-XACTEmbedded systemModel-based designbusinessProgrammerInteractive visualizationcomputerXML2017 Euromicro Conference on Digital System Design (DSD)
researchProduct

Model Based Design Optimization of Operational Reliability in Offshore Boom Cranes

2013

AbstractThis paper presents a model based approach for design of reliable electro-hydraulic motion control systems for offshore material handling cranes. The approach targets the system engineer and is based on steady-state computations, dynamic time domain simulation and numerical optimization.In general, the modelling takes into account the limited access to component data normally encountered by engineers working with system design. A system model is presented which includes the most important characteristics of both mechanical system and hydraulic components such as the directional control valve and the counterbalance valve.The model is used to optimize the performance of an initial des…

Control valvesEngineeringbusiness.industryMechanical EngineeringGeneral Physics and AstronomyControl engineeringMotion controlBoomSystem modelMechanical systemComponent (UML)Model-based designSystems designbusinessInternational Journal of Fluid Power
researchProduct

Testing of cooperative tasks for Unmanned Aerial and ground platforms

2014

In the last years the Model Based Design for Unmanned Systems aided the safe and rational release of applications running on unmanned systems. In particular in this paper we focus on a hybrid methodology that merges Software in the Loop (SIL) and Model in the Loop (MIL) strategies for cooperative tasks performed by aerial and ground autonomous vehicles. The proposed work flow covers the design and testing of Ground Control Station (GCS) modelled by a finite state machine, the design and testing of navigation code running on UAV and UGV and the testing of cooperative missions. The work-flow is based on a realistic 3D physical simulator interfaced with Matlab-Simulink-Stafeflow. The proposed …

EngineeringFinite-state machineModel in the loopbusiness.industryModel-based designCode (cryptography)Work flowGround control stationControl engineeringSoftware in the loopbusinessFocus (optics)2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded Systems and Applications (MESA)
researchProduct

A Newcomer's Guide to EICS, the Engineering Interactive Computing Systems Community

2019

[EN] Welcome to EICS, the Engineering Interactive Computing Systems community, PACMHCI/EICS journal, and annual conference! In this short article, we introduce newcomers to the field and to our community with an overview of what EICS is and how it positions with respect to other venues in Human-Computer Interaction, such as CHI, UIST, and IUI, highlighting its legacy and paying homage to past scientific events from which EICS emerged. We also take this opportunity to enumerate and exemplify scientific contributions to the field of Engineering Interactive Computing Systems, which we hope to guide researchers and practitioners towards making their future PACMHCI/EICS submissions successful an…

Interactive computingUser interfacesDesignComputer Networks and CommunicationsComputer science02 engineering and technologyInteractive systemsModel-driven EngineeringInteractive systems and toolsField (computer science)Software and its engineering0202 electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesSoftware verification and validation050107 human factorscomputer.programming_languageSoftware engineeringComputingMilieux_THECOMPUTINGPROFESSIONFormal methods05 social sciencesVerification and validation020207 software engineeringFormal methodsData scienceHuman computer interaction (HCI)Human-Computer InteractionHuman-centered computingModel-based design of user interfacesUser interfaceModel-driven architecturecomputerLENGUAJES Y SISTEMAS INFORMATICOSSocial Sciences (miscellaneous)
researchProduct

A combined CWT-DWT method using model-based design simulator for partial discharges online detection

2009

The suppression of noises is fundamental in onsite Partial Discharge (PD) measurements. For this purpose, the wavelet transform analysis method has been developed and it is a powerful tool for processing the transient and suddenly changing signals. As the wavelet transform possesses the properties of multi-scale analysis and time-frequency domain localization, it is also particularly suitable to process the suddenly changing signals of the partial discharge pulse (PD). In this paper, an improved Wavelet denoising method developed by a model-based design software is presented. Simulations are provided as well as some results obtained during laboratory experiment and on-line PD measurements. …

Settore ING-IND/31 - ElettrotecnicaWaveletComputer scienceNoise reductionPartial dischargeModel-based designdiscrete wavelet transforms partial discharge measurements time-frequency analysis transientsElectronic engineeringSoftware designWavelet transformContinuous wavelet transformTime–frequency analysis2009 IEEE Conference on Electrical Insulation and Dielectric Phenomena
researchProduct